Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT

Source URL: lamport.azurewebsites.net

• Concurrent computing
• Distributed algorithms
• Concurrency
• Mathematics
• Computing
• Algorithm
• Mathematical logic
• Theoretical computer science
• Distributed computing
• Deadlock
• Chandy-Lamport algorithm
• Virtual synchrony

Performance issues in cloud computing for cyber-physical applications Michael Olson, K. Mani Chandy Computing + Mathematical Sciences California Institute of Technology Pasadena, USA , ec

Source URL: eew.caltech.edu

Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT

Source URL: users.ece.gatech.edu

• Models of computation
• Distributed computing
• Mathematics
• Applied mathematics
• Fault-tolerant computer systems
• Virtual synchrony
• Kahn process networks
• Computing
• Snapshot algorithm
• Algorithm

Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT

Source URL: research.microsoft.com

• Models of computation
• Distributed computing
• Mathematics
• Applied mathematics
• Fault-tolerant computer systems
• Virtual synchrony
• Kahn process networks
• Computing
• Snapshot algorithm
• Algorithm

II: The Infospheres Infrastructure User Guide1 K. Mani Chandy, Joseph Kiniry, Adam Rifkin, and Daniel Zimmerman Computer Science[removed]California Institute of Technology Pasadena, California 91125

Source URL: faculty.washington.edu

• Java programming language
• Java
• Computing platform
• Windows NT 4.0
• Operating system
• Computing
• Cross-platform software
• Java platform

Convergence Verification: From Shared Memory to Partially Synchronous Systems? K. Mani Chandy, Sayan Mitra, and Concetta Pilotto California Institute of Technology Pasadena, CA 91125 {mani,mitras,cetta}@caltech.edu

Source URL: leecenter.caltech.edu

Specifications and Architectures of Federated Event-Driven Systems ∗ K. Mani Chandy and Michael Olson California Institute of Technology Computer Science Department 1200 E. California Blvd. MC[removed]

Source URL: leecenter.caltech.edu

• Directed acyclic graph
• Dataflow
• Database
• Data
• Software engineering
• Parallel computing
• DataRush Technology
• Data Intensive Computing
• Computing
• Database management systems
• Visual programming languages

A Simple Optimal Power Flow Model with Energy Storage K. Mani Chandy, Steven H. Low, Ufuk Topcu and Huan Xu Abstract— The integration of renewable energy generation, such as wind power, into the electric grid is diffic

Source URL: www.aero.umd.edu

• Control theory
• Land transport
• Optimal control
• Differential geometry of curves
• State space
• Relaxation
• Ford Model T
• Mathematical optimization
• Transport
• Private transport

Load-shedding probabilities with hybrid renewable power generation and energy storage Huan Xu, Ufuk Topcu, Steven H. Low, Christopher R. Clarke, and K. Mani Chandy Abstract— The integration of renewable energy resource

Source URL: www.aero.umd.edu

• Sustainable energy
• Energy storage
• Energy development
• Solar power
• Intermittent energy source
• Energy
• Technology
• Electricity generation

r e s e a r c h o v e r v i e w Sense and Respond Systems

Source URL: leecenter.caltech.edu

• Sense and respond
• Sense
• Ionizing radiation
• Management
• Physics
• Mind
• Control theory
• Smart grid
• K. Mani Chandy